A CONVENIENT CATEGORY FOR DIRECTED HOMOTOPY Dedicated to Walter Tholen at the occasion of his sixtieth birthday
نویسندگان
چکیده
We propose a convenient category for directed homotopy consisting of “directed” topological spaces generated by “directed” cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.
منابع مشابه
Natural Weak Factorization Systems
In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category K is introduced, as a pair (comonad, monad) over K. The link with existing notions in terms of morphism classes is given via the respective Eilenberg–Moore categories. Dedica...
متن کاملEXPONENTIABILITY IN CATEGORIES OF LAX ALGEBRAS Dedicated to Nico Pumplün on the occasion of his seventieth birthday
For a complete cartesian-closed category V with coproducts, and for any pointed endofunctor T of the category of sets satisfying a suitable Beck-Chevalley-type condition, it is shown that the category of lax reflexive (T,V)-algebras is a quasitopos. This result encompasses many known and new examples of quasitopoi.
متن کاملRELATIVE INJECTIVITY AS COCOMPLETENESS FOR A CLASS OF DISTRIBUTORS Dedicated to Walter Tholen on the occasion of his sixtieth birthday
Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:math.CT/0804.0326] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadic...
متن کاملPROTOLOCALISATIONS OF EXACT MAL’CEV CATEGORIES To Walter Tholen, on his sixtieth birthday
A protolocalisation of a regular category is a full reflective regular subcategory, whose reflection preserves pullbacks of regular epimorphisms along arbitrary morphisms. We devote special attention to the epireflective protolocalisations of an exact Mal’cev category; we characterise them in terms of a corresponding closure operator on equivalence relations. We give some examples in algebra an...
متن کاملGENERIC MORPHISMS, PARAMETRIC REPRESENTATIONS AND WEAKLY CARTESIAN MONADS Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
Two notions, generic morphisms and parametric representations, useful for the analysis of endofunctors arising in enumerative combinatorics, higher dimensional category theory, and logic, are defined and examined. Applications to the Batanin approach to higher category theory, Joyal species and operads are provided.
متن کامل